General Logical Formalism for Fuzzy Mathematics: Methodology and Apparatus∗
نویسندگان
چکیده
There is a programme in the formal foundations of fuzzy mathematics proposed by the authors, the goal of which is to encompass a large part of existing fuzzy mathematics within a general logical formalism. This paper presents the methodology behind this programme and reviews the technical aspects of a particular apparatus for this enterprise.
منابع مشابه
Bisimulation for BL-general fuzzy automata
In this note, we define bisimulation for BL-general fuzzy automata and show that if there is a bisimulation between two BL-general fuzzy automata, then they have the same behavior.For a given BL-general fuzzy automata, we obtain the greatest bisimulation for the BL-general fuzzy automata. Thereafter, if we use the greatest bisimulation, then we obtain a quotient BL-general fuzzy automata and th...
متن کاملADMISSIBLE PARTITION FOR BL-GENERAL FUZZY AUTOMATON
In this note, we define the concepts of admissible relation and admissible partition for an arbitrary BL-general fuzzy automaton.In particular, a connection between the admissible partition and the quotient BL-general fuzzy automaton is presented.It is shown that if we use the maximal admissible partition, then we obtain a quotient BL-general fuzzy automaton and this quotient is minimal. Finall...
متن کاملA duality between LM-fuzzy possibility computations and their logical semantics
Let X be a dcpo and let L be a complete lattice. The family σL(X) of all Scott continuous mappings from X to L is a complete lattice under pointwise order, we call it the L-fuzzy Scott structure on X. Let E be a dcpo. A mapping g : σL(E) −> M is called an LM-fuzzy possibility valuation of E if it preserves arbitrary unions. Denote by πLM(E) the set of all LM-fuzzy possibility valuations of E. T...
متن کاملFrom fuzzy logic to fuzzy mathematics: A methodological manifesto
The paper states the problem of fragmentation of contemporary fuzzy mathematics and the need of a unified methodology and formalism. We formulate several guidelines based on Hájek’s methodology in fuzzy logic, which enable us to follow closely the constructions and methods of classical mathematics recast in a fuzzy setting. As a particular solution we propose a three-layer architecture of fuzzy...
متن کاملI-homomorphism for BL-I-General L-fuzzy Automata
Taking into account the notion of BL-general fuzzy automaton, in the present study we define the notation of BL-intuitionistic general L-fuzzy automaton and I-bisimulation for BL-intuitionistic general L-fuzzy automaton.Then for a given BL-intuitionistic general L-fuzzy automaton, we obtain the greatest I-bisimulation. According to this notion, we give the structure of quotient BL-intuiti...
متن کامل